首页> 外文OA文献 >Automated Verification of Model. Transformations in the Automotive Industry

【2h】

Automated Verification of Model. Transformations in the Automotive Industry

机译：自动验证模型。汽车行业的变革

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Selim, Gehan; Büttner, Fabian; Cordy, James R.; Dingel, Jürgen; Wang, Shige;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Automated verification of model transformations based on visual contracts [J] . Esther Guerra, Juan de Lara, Manuel Wimmer, Automated software engineering . 2013,第1期

机译：基于视觉合同的模型转换的自动验证
2. Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations [J] . Mark Asztalos, Péter Ekler, László Lengyel, Electronic Communications of the EASST . 2011,第2期

机译：通过基于图重写的模型转换的声明性描述进行自动验证
3. Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models [J] . Márk Asztalos, László Lengyel, Tihamér Levendovszky Electronic Communications of the EASST . 2009,第5期

机译：走向模型转换的自动验证：重构业务流程模型分析的案例研究
4. Automated Verification of Model Transformations in the Automotive Industry [C] . Gehan M.K. Selim, Fabian Buettner, James R. Cordy, International conference on model driven engineering languages and systems . 2013

机译：汽车行业模型转换的自动验证
5. A Methodology for Automated Verification of Rosetta Specification Transformations [D] . Lohoefener, Jennifer L. 2011

机译：Rosetta规范转换的自动验证方法
6. Data on the current state of modular systems in a highly dynamic environment: Empirical analyses in the manufacturing industry and automotive industry of Germany [O] . Peter Burggräf, Matthias Dannapfel, Fabian Hehl, 2019

机译：在高度动态的环境中有关模块化系统当前状态的数据：德国制造业和汽车行业的经验分析
7. Automated Verification of Model. Transformations in the Automotive Industry [O] . Selim, Gehan, Büttner, Fabian, Cordy, James R., 2013

机译：自动验证模型。汽车行业的变革

Automated Verification of Model. Transformations in the Automotive Industry

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅